$a$ $\leq$$g$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\uparrow$($a$ ($\leq_{b}$$g$) $b$)